perm filename ATC.UNF[MRS,LSP]1 blob
sn#641916 filedate 1982-02-16 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP))
'(ASSEMBLED BY FASLAP /392)
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117)
;COMPILED ON FEBRUARY 16, 1982, AT 4:37 PM
;Loading DEFSTRUCT 233
'↑↓-TERM
'LT-QUANTIFIER
'ROLELINK
'PFC-FORMULA
'ROLEXENTRY
'LT-λ-EXPR
'LT-λ-PREFIX
'PATHKEYLIST
(COMMENT **FASL** 0. (LAP |*DEFUN MACRO| SUBR))
(COMMENT **FASL** 179. (LAP |CONSP MACRO| SUBR))
(COMMENT **FASL** 208. (LAP |LAMBDA-OPR MACRO| SUBR))
(COMMENT **FASL** 237. (LAP |ADDCONC MACRO| SUBR))
(COMMENT **FASL** 273. (LAP |ENDCONC MACRO| SUBR))
(COMMENT **FASL** 321. (LAP |ENDADD MACRO| SUBR))
(COMMENT **FASL** 375. (LAP |RASSQ MACRO| SUBR))
(COMMENT **FASL** 424. (LAP |EDITXDO MACRO| SUBR))
(COMMENT **FASL** 480. (LAP |EDITDO MACRO| SUBR))
(COMMENT **FASL** 518. (LAP |COPYLIST MACRO| SUBR))
(COMMENT **FASL** 544. (LAP |BUTLAST MACRO| SUBR))
(COMMENT **FASL** 575. (LAP |REPEAT MACRO| SUBR))
(COMMENT **FASL** 614. (LAP |SETF* MACRO| SUBR))
(COMMENT **FASL** 649. (LAP |SOME MACRO| SUBR))
(COMMENT **FASL** 714. (LAP |SUBSET MACRO| SUBR))
(COMMENT **FASL** 764. (LAP GOOD-NREVERSE SUBR))
(COMMENT **FASL** 821. (LAP NSUBLIS SUBR))
(COMMENT **FASL** 880. (LAP |HUNKQUANTP MACRO| SUBR))
(COMMENT **** ((GET (GET (QUOTE QUANTIFIER) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) (CDR S-EXPR))
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function QNSUBLIS)
(COMMENT **** ((GET (GET (QUOTE QUANTIFIER) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) S-EXPR)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function QNSUBLIS)
(COMMENT **FASL** 915. (LAP QNSUBLIS SUBR))
(COMMENT **FASL** 1012. (LAP |CONDCARPUSH MACRO| SUBR))
(COMMENT **FASL** 1074. (LAP |WRITE MACRO| SUBR))
(COMMENT **FASL** 1153. (LAP SPACES SUBR))
(COMMENT **FASL** 1170. (LAP |NORMALIZE-CONNECTIVE MACRO| SUBR))
(COMMENT **** ((GET (GET (QUOTE DETERMINER) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LINQUANT)) (CAR LISPINPUTFORM))
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function LINTYPE)
(COMMENT **** ((GET (GET (QUOTE DETERMINER) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LINQUANT)) (CAR LISPINPUTFORM))
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function LINTYPE)
(COMMENT **FASL** 1196. (LAP LINTYPE SUBR))
(COMMENT **FASL** 1366. (LAP ENCODE-LINFORMULA SUBR))
(COMMENT **FASL** 1376. (LAP |SETUPQUANTS MACRO| SUBR))
(COMMENT **FASL** 1424. (LAP ENCODE-LINFORMULA-S SUBR))
(COMMENT **FASL** 1621. (LAP TRANSFORM-ROLELINKS SUBR))
(COMMENT **FASL** 1682. (LAP |NORMALIZE-DETERMINER MACRO| SUBR))
(COMMENT **FASL** 1708. (LAP ENCODE-QUANT SUBR))
(COMMENT **FASL** 1889. (LAP VARIABLE-RANGE SUBR))
(COMMENT **FASL** 1925. (LAP GETFORMULA SUBR))
(COMMENT **FASL** 1952. (LAP PUTPROPL SUBR))
(COMMENT **FASL** 1972. (LAP |DEFPROPL MACRO| SUBR))
(COMMENT **FASL** 2042. (LAP ADD-ROLEORDERINDEX SUBR))
(COMMENT **FASL** 2086. (LAP IDENTIFY-ROLEMARKS SUBR))
(COMMENT **** ((GET (GET (QUOTE QUANTIFIER) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function LT-TYPE)
(COMMENT **FASL** 2137. (LAP LT-TYPE SUBR))
(COMMENT **FASL** 2320. (LAP DISPLAY LSUBR))
(COMMENT **FASL** 2340. (LAP DPYLIST SUBR))
(COMMENT **FASL** 2357. (LAP VNSUBLIS SUBR))
(COMMENT **FASL** 2384. (LAP |INITIALIZE-GENVARINDEX MACRO| SUBR))
(COMMENT **FASL** 2393. (LAP GENVAR LSUBR))
(COMMENT **FASL** 2526. (LAP |QSORT-VARANGE MACRO| SUBR))
(COMMENT **** ((GET (GET (QUOTE QUANTIFIER) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) SUBSTFORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function MAKE-QVLIST)
(COMMENT **** ((GET (GET (QUOTE QSORT) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) SUBSTFORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function MAKE-QVLIST)
(COMMENT **** ((GET (GET (QUOTE λ-PAIR) (QUOTE FUNCTIONS)) (QUOTE ISA)) SUBSTFORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function MAKE-QVLIST)
(COMMENT **FASL** 2557. (LAP MAKE-QVLIST SUBR))
(COMMENT **FASL** 2661. (LAP |UNARY-ATOMIC MACRO| SUBR))
(COMMENT **FASL** 2708. (LAP |NOPAREN-DISJUNCT MACRO| SUBR))
(COMMENT **FASL** 2717. (LAP |DPYLIST-ROLINK MACRO| SUBR))
(COMMENT **** ((GET (GET (QUOTE COREROLE) (QUOTE FUNCTIONS)) (QUOTE ISA)) (ROLEMARK (CAR RL-LIST)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DPYLIST-S)
(COMMENT **** ((GET (GET (QUOTE ROLEPHRASE) (QUOTE FUNCTIONS)) (QUOTE THE-FOR:ROLELINK)) (CAR RL-LIST) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DPYLIST-S)
(COMMENT **** ((GET (GET (QUOTE COREROLE) (QUOTE FUNCTIONS)) (QUOTE ISA)) (ROLEMARK (CAR RL-LIST)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DPYLIST-S)
(COMMENT **** ((GET (GET (QUOTE ROLEPHRASE) (QUOTE FUNCTIONS)) (QUOTE THE-FOR:ROLELINK)) (CAR RL-LIST) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DPYLIST-S)
(COMMENT **** ((GET (GET (QUOTE DETERMINER) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DPYLIST-S)
(COMMENT **** ((GET (GET (QUOTE QUANTIFIER) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) THISFORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DPYLIST-S)
(COMMENT **** ((GET (GET (QUOTE DETERMINER) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) THISFORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DPYLIST-S)
(COMMENT **** ((GET (GET (QUOTE SCOPE) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) THISFORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DPYLIST-S)
(COMMENT **FASL** 2784. (LAP DPYLIST-S SUBR))
(COMMENT **FASL** 3366. (LAP TCONC SUBR))
(COMMENT **FASL** 3397. (LAP LCONC SUBR))
(COMMENT **** ((GET (GET (QUOTE QSORT) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) LT-TERM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function TERMSORT)
(COMMENT **FASL** 3435. (LAP TERMSORT SUBR))
(COMMENT **FASL** 3509. (LAP NORMALIZE-TERMSORTEXPR SUBR))
(COMMENT **FASL** 3553. (LAP |PRINCLIST MACRO| SUBR))
(COMMENT **FASL** 3580. (LAP |PRINSOURCECHUNK MACRO| SUBR))
(COMMENT **FASL** 3589. (LAP |GETSBQLINE MACRO| SUBR))
(COMMENT **FASL** 3664. (LAP |NEXTITEMSIZE MACRO| SUBR))
(COMMENT **FASL** 3692. (LAP |PRINITEMS MACRO| SUBR))
(COMMENT **FASL** 3754. (LAP |PRINSUBQUANT1 MACRO| SUBR))
(COMMENT **FASL** 3787. (LAP |PRINSUBQUANT2 MACRO| SUBR))
(COMMENT **FASL** 3820. (LAP |GETQUANTLINE MACRO| SUBR))
(COMMENT **FASL** 3871. (LAP |GETλ-LINE MACRO| SUBR))
(COMMENT **FASL** 3920. (LAP |MAXVARIABLENGTH MACRO| SUBR))
(COMMENT **FASL** 3955. (LAP |SPACELEFT MACRO| SUBR))
(COMMENT **FASL** 3964. (LAP STRAIGHTPRIN SUBR))
(COMMENT **FASL** 4206. (LAP PRINQUANT SUBR))
(COMMENT **FASL** 4479. (LAP PRINλ-EXPR SUBR))
(COMMENT **FASL** 4528. (LAP TAB SUBR))
(COMMENT **FASL** 4558. (LAP CURRENTPOS LSUBR))
'LINK-NODE
'LEAF-NODE
'LTCC-PLIST
(COMMENT **FASL** 4574. (LAP |NRML-ANL-YZE-CC MACRO| SUBR))
(COMMENT **FASL** 4613. (LAP |LT-CONCEPT-TYPE MACRO| SUBR))
(COMMENT **FASL** 4664. (LAP |ADD-NEWLINK MACRO| SUBR))
(COMMENT **FASL** 4712. (LAP NORMALIZE-CMPD-CONCEPT LSUBR))
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORMULA)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function INITIALIZE-CMPD-CONCEPT)
(COMMENT **FASL** 4805. (LAP INITIALIZE-CMPD-CONCEPT SUBR))
(COMMENT **FASL** 4832. (LAP |CONCEPT-BODY MACRO| SUBR))
(COMMENT **FASL** 4875. (LAP |1ST-PROCESS-↑-MATRIX MACRO| SUBR))
(COMMENT **FASL** 4930. (LAP |PROCESS-↑-MATRIX MACRO| SUBR))
(COMMENT **FASL** 4983. (LAP |COLLECT-IMAGES MACRO| SUBR))
(COMMENT **FASL** 5038. (LAP |MERGED-PKLS MACRO| SUBR))
(COMMENT **FASL** 5065. (LAP |SETUP-λ-EXPR MACRO| SUBR))
(COMMENT **FASL** 5130. (LAP |PREVIOUS-LETTER MACRO| SUBR))
(COMMENT **FASL** 5163. (LAP |ANALYZE-ADVERBIALIZATION MACRO| SUBR))
(COMMENT **FASL** 5230. (LAP |INST-KEYS MACRO| SUBR))
(COMMENT **FASL** 5292. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR))
(COMMENT **FASL** 5443. (LAP ORDER-JUNCTS SUBR))
(COMMENT **FASL** 5448. (LAP |ORDER-PATHKEYS MACRO| SUBR))
(COMMENT **FASL** 5474. (LAP |GET-PKL-POSITION MACRO| SUBR))
(COMMENT **FASL** 5543. (LAP |GET-Q-OP MACRO| SUBR))
(COMMENT **FASL** 5597. (LAP |↑-ASCII MACRO| SUBR))
(COMMENT **FASL** 5624. (LAP |*-OR-↑-ASCII MACRO| SUBR))
(COMMENT **FASL** 5650. (LAP |*-OR-C-ASCII MACRO| SUBR))
(COMMENT **FASL** 5676. (LAP |C-ASCII MACRO| SUBR))
(COMMENT **FASL** 5703. (LAP |2:9-ASCII MACRO| SUBR))
(COMMENT **FASL** 5740. (LAP |C-RAISE-CC-OP MACRO| SUBR))
(COMMENT **FASL** 5773. (LAP |RAISE-CC MACRO| SUBR))
(COMMENT **FASL** 5829. (LAP |RAISE-CC-OP MACRO| SUBR))
(COMMENT **FASL** 5862. (LAP |GET-BASE-OP MACRO| SUBR))
(COMMENT **FASL** 5910. (LAP |GET-S&S-KEY MACRO| SUBR))
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) (CAR CC-KEYTAIL))
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function NORMRAISE-CC)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) (CAR CC-KEYTAIL))
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function NORMRAISE-CC)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) NEW-CC-EXPR)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function NORMRAISE-CC)
(COMMENT **FASL** 5965. (LAP NORMRAISE-CC LSUBR))
(COMMENT **** ((GET (GET (QUOTE QSORTEXPR) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function QUANT-QUASI-UNSUBST)
(COMMENT **** ((GET (GET (QUOTE SCOPE) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function QUANT-QUASI-UNSUBST)
(COMMENT **FASL** 6412. (LAP QUANT-QUASI-UNSUBST LSUBR))
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not ggnerally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE QSORTEXPR) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) QUANTBODY)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE SCOPE) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) QUANTBODY)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE QSORTEXPR) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) QUANTBODY)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE SCOPE) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) QUANTBODY)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE DETERMINER) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) QUANTBODY)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-CMPD-CONCEPT)
(COMMENT **FASL** 6646. (LAP ANALYZE-CMPD-CONCEPT LSUBR))
(COMMENT **FASL** 7731. (LAP NACC LSUBR))
(COMMENT **FASL** 7772. (LAP |GET-PK-POSITION MACRO| SUBR))
(COMMENT **FASL** 7815. (LAP |GET-MERGEKEYS MACRO| SUBR))
(COMMENT **FASL** 7871. (LAP |EXPAND-MERGED-PKEYLISTS MACRO| SUBR))
(COMMENT **FASL** 7928. (LAP ANALYZE-ROLEMERGE SUBR))
(COMMENT **FASL** 8115. (LAP ATOM-CONVERTIBLE SUBR))
(COMMENT **FASL** 8165. (LAP ADJUST-λ-TERMSORT SUBR))
(COMMENT **FASL** 8193. (LAP BROADEST-COMMON-SUBSORT SUBR))
(COMMENT **FASL** 8201. (LAP PATHKEY-SORT SUBR))
(COMMENT **FASL** 8243. (LAP GET-ROLELINK SUBR))
(COMMENT **FASL** 8276. (LAP |ALPHA-NTH MACRO| SUBR))
(COMMENT **** ((GET (GET (QUOTE QSORTEXPR) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function TERM-SUBRANCH)
(COMMENT **** ((GET (GET (QUOTE SCOPE) (QUOTE FUNCTIONS)) (QUOTE THE-OF:LT-QUANT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function TERM-SUBRANCH)
(COMMENT **FASL** 8321. (LAP TERM-SUBRANCH SUBR))
(COMMENT **FASL** 8390. (LAP |ANY-IDENTICAL-ROLE-INSTANCES? MACRO| SUBR))
(COMMENT **FASL** 8442. (LAP |HAS-UNIQUE-ROLEMARKS MACRO| SUBR))
(COMMENT **FASL** 8501. (LAP |INDEX-TYPE MACRO| SUBR))
(COMMENT **FASL** 8547. (LAP COPYALLCONS SUBR))
(COMMENT **FASL** 8563. (LAP COPY-1-1-PKLS SUBR))
(COMMENT **FASL** 8600. (LAP LT-COPYALL SUBR))
(COMMENT **** ((GET (GET (QUOTE λ-PAIR) (QUOTE FUNCTIONS)) (QUOTE ISA)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function LT-COPYALL*)
(COMMENT **** ((GET (GET (QUOTE QUANTIFIER) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function LT-COPYALL*)
(COMMENT **FASL** 8607. (LAP LT-COPYALL* SUBR))
(COMMENT **FASL** 8741. (LAP SELECT&SHORTEN SUBR))
(COMMENT **FASL** 8803. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR))
(COMMENT **FASL** 8808. (LAP ORDER-PATHKEYLISTS SUBR))
(COMMENT **FASL** 8810. (LAP ORDER-ROLELINKS SUBR))
(COMMENT **FASL** 8821. (LAP COMPARE-ROLEORDER SUBR))
(COMMENT **FASL** 8827. (LAP CULL-EQS SUBR))
(COMMENT **FASL** 8846. (LAP |CONDENSE-RL-KEYLISTS MACRO| SUBR))
(COMMENT **FASL** 8885. (LAP |ATOM-QUASI-UNSUBST MACRO| SUBR))
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-INSTANTIATION)
(COMMENT **** ((GET (GET (QUOTE λ-EXPR) (QUOTE FUNCTIONS)) (QUOTE ISA-OF:LT)) LT-FORM)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function ANALYZE-INSTANTIATION)
(COMMENT **FASL** 8942. (LAP ANALYZE-INSTANTIATION SUBR))
(COMMENT **FASL** 9264. (LAP λ-UNSUBST SUBR))
(COMMENT **FASL** 9344. (LAP |CC-KEY-ROLINK-NUMBER MACRO| SUBR))
(COMMENT **FASL** 9395. (LAP |INITSTR= MACRO| SUBR))
(COMMENT **FASL** 9446. (LAP λ-INST-KEY SUBR))
(COMMENT **FASL** 9522. (LAP RAISEATOM SUBR))
(COMMENT **FASL** 9571. (LAP LOWER-↑-ATOM SUBR))
(COMMENT **FASL** 9619. (LAP LOWER-λ-TERMSORTS SUBR))
(COMMENT **FASL** 9660. (LAP RAISE-λ-TERMSORTS SUBR))
(COMMENT **FASL** 9698. (LAP RAISE↑-TERM SUBR))
(COMMENT **FASL** 9735. (LAP |NEXTLETTER MACRO| SUBR))
(COMMENT **FASL** 9768. (LAP KEYNUMBER SUBR))
(COMMENT **FASL** 9790. (LAP |LISTCOMPS MACRO| SUBR))
(COMMENT **FASL** 9822. (LAP |EXPOUND-ANALYSIS-MODULE-1 MACRO| SUBR))
(COMMENT **FASL** 9939. (LAP POSPRINC LSUBR))
(COMMENT **FASL** 10006. (LAP ANALYZE&EXPOUND LSUBR))
(COMMENT **FASL** 10314. (LAP A&E LSUBR))
(COMMENT **FASL** 10336. (LAP FIX-AL SUBR))
(COMMENT **FASL** 10373. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR))
(COMMENT **FASL** 10541. (LAP EXPLORE-DNET LSUBR))
(COMMENT **FASL** 10719. (LAP XPDN LSUBR))
(COMMENT **FASL** 10743. (LAP GET-XPDN-COMMAND SUBR))
(COMMENT **** ((GET (GET (QUOTE LEAF-NODE) (QUOTE FUNCTIONS)) (QUOTE ISA)) NEW-CURRENTNODE)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function TRAVERSE-LINKS)
(COMMENT **FASL** 10747. (LAP TRAVERSE-LINKS SUBR))
(COMMENT **FASL** 10949. (LAP DISPLAY-KEYPATH SUBR))
(COMMENT **** ((GET (GET (QUOTE LEAF-NODE) (QUOTE FUNCTIONS)) (QUOTE ISA)) NODE)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function DISPLAY-NODE)
(COMMENT **FASL** 11038. (LAP DISPLAY-NODE SUBR))
(COMMENT **** ((GET (GET (QUOTE LEAF-NODE) (QUOTE FUNCTIONS)) (QUOTE ISA)) CURRENTNODE)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function EXTEND-CURRENT-KEYPATH)
(COMMENT **FASL** 11168. (LAP EXTEND-CURRENT-KEYPATH SUBR))
(COMMENT **FASL** 11230. (LAP SHORTEN-CURRENT-NODEPATH SUBR))
(COMMENT **** ((GET (GET (QUOTE LEAF-NODE) (QUOTE FUNCTIONS)) (QUOTE ISA)) NODE-TO-COUNT)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function COUNT-LINKS&LEAVES)
(COMMENT **FASL** 11406. (LAP COUNT-LINKS&LEAVES SUBR))
(COMMENT **** ((GET (GET (QUOTE LEAF-NODE) (QUOTE FUNCTIONS)) (QUOTE ISA)) CURRENTNODE)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function PRINT-PROPERTIES)
(COMMENT **** ((GET (GET (QUOTE LEAF-NODE) (QUOTE FUNCTIONS)) (QUOTE ISA)) CURRENTNODE)
Computed functions are not generally supported,
This code is being rewritten using FUNCALL in function PRINT-PROPERTIES)
(COMMENT **FASL** 11490. (LAP PRINT-PROPERTIES SUBR))
'HELP-TABLE-ENTRY
(COMMENT **FASL** 11751. (LAP XPDN-HELP SUBR))
(COMMENT **FASL** TOTAL = 11855. WORDS)